Stability Analysis for Hybrid Automata Using Conservative Gains
نویسندگان
چکیده
منابع مشابه
Stability Analysis for Hybrid Automata Using Conservative Gains
This paper presents a stability analysis approach for a class of hybrid automata. It is assumed that the dynamics in each location of the hybrid automaton is linear and asymptotically stable, and that the guards on the transitions are hyperplanes in the state space. For each pair of ingoing and outgoing transitions in a location a conservative estimate is made of the gain via a Lyapunov functio...
متن کاملrodbar dam slope stability analysis using neural networks
در این تحقیق شبکه عصبی مصنوعی برای پیش بینی مقادیر ضریب اطمینان و فاکتور ایمنی بحرانی سدهای خاکی ناهمگن ضمن در نظر گرفتن تاثیر نیروی اینرسی زلزله ارائه شده است. ورودی های مدل شامل ارتفاع سد و زاویه شیب بالا دست، ضریب زلزله، ارتفاع آب، پارامترهای مقاومتی هسته و پوسته و خروجی های آن شامل ضریب اطمینان می شود. مهمترین پارامتر مورد نظر در تحلیل پایداری شیب، بدست آوردن فاکتور ایمنی است. در این تحقیق ...
analysis of ruin probability for insurance companies using markov chain
در این پایان نامه نشان داده ایم که چگونه می توان مدل ریسک بیمه ای اسپیرر اندرسون را به کمک زنجیره های مارکوف تعریف کرد. سپس به کمک روش های آنالیز ماتریسی احتمال برشکستگی ، میزان مازاد در هنگام برشکستگی و میزان کسری بودجه در زمان وقوع برشکستگی را محاسبه کرده ایم. هدف ما در این پایان نامه بسیار محاسباتی و کاربردی تر از روش های است که در گذشته برای محاسبه این احتمال ارائه شده است. در ابتدا ما نشا...
15 صفحه اولAnalysis of a Boost Converter Circuit Using Linear Hybrid Automata
Boost converter circuits are an important component in electrical and electronic systems. Serving as energy converters, they increase the voltage of a source. In mobile devices, high voltages can be achieved in this way, with a relatively small number of accumulator cells. Without this or a similar technique, it would be difficult to supply electric cars with the necessary voltages of about 500...
متن کاملTask-System Analysis Using Slope-Parametric Hybrid Automata
Slope-parametric hybrid automata (SPHA) are hybrid automata whose variables can have parametric slopes. SPHA are useful, in particular, for modeling task-control systems in which the task speeds can be adjusted for meeting some safety requirement. In this paper, we present an example of parametric analysis for a simple task system. We introduce a prototype veriication tool that fully automates ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC Proceedings Volumes
سال: 2003
ISSN: 1474-6670
DOI: 10.1016/s1474-6670(17)36454-6